What are consequential world problems? As “grand societal challenges”, one might define them as problems that affect a large number of people, perhaps even the entire planet, including problems such as climate change, distributive justice, world peace, world nutrition, clean air and clean water, access to education, and many more. The “Sustainable Development Goals”, compiled by the United Nations, represent a collection of such global problems. From my point of view, these problems can be seen as complex. Such complex problems (...) are characterized by the complexity, connectivity, dynamics, intransparency, and polytely of their underlying systems. These attributes require special competencies for dealing with the uncertainties of the given domains, e.g., critical thinking. My position is that it is not IQ, but complex problem-solving competencies for dealing with complex and dynamic situations, that is important for handling consequential global problems. These problems require system competencies, i.e., competencies that go beyond analytical intelligence, and comprise systems understanding as well as systems control. Complex problem-solving is more than analytic intelligence. (shrink)

Complex problem solving (CPS) emerged in the last 30 years in Europe as a new part of the psychology of thinking and problem solving. This paper introduces into the field and provides a personal view. Also, related concepts like macrocognition or operative intelligence will be explained in this context. Two examples for the assessment of CPS, Tailorshop and MicroDYN, are presented to illustrate the concept by means of their measurement devices. Also, the relation of complex cognition and emotion in the (...) CPS context is discussed. The question if CPS requires complex cognition is answered with a tentative “yes.”. (shrink)

In the last 20 years, a stream of research emerged under the label of „complex problem solving“ (CPS). This research was intended to describe the way people deal with complex, dynamic, and intransparent situations. Complex computer-simulated scenarios were as stimulus material in psychological experiments. This line of research lead to subtle insights into the way how people deal with complexity and uncertainty. Besides these knowledge-rich, realistic, intransparent, complex, dynamic scenarios with many variables, a second line of research used more simple, (...) knowledge-lean scenarios with a low number of variables („minimal complex systems“, MCS) that have been proposed recently in problem-solving research for the purpose of educational assessment. In both cases, the idea behind the use of microworlds is to increase validity of problem solving tasks by presenting interactive environments that can be explored and controlled by participants while pursuing certain action goals. The main argument presented here is: both types of systems - CPS and MCS – can only be dealt with successfully if causal dependencies between input and output variables are identified and used for system control. System knowledge is necessary for control and intervention. But CPS and MCS differ in their way of how causal dependencies are identified and how the mental model is constructed; therefore, they cannot be compared directly to each other with respect to the cognitive processes that are necessary for solving the tasks. Knowledge-poor MCS tasks address only a small fraction of the cognitive processes and structures needed for knowledge-rich CPS situations. (shrink)

According to Sternberg (Transformational giftedness. In T. L. Cross & P. Olszewski-Kubilius (Eds.), Conceptual frameworks for giftedness and talent development (pp. 203–234). Prufrock Press, 2020; Transformational vs. transactional deployment of intelligence. Journal of Intelligence, 9(15), 2021), transformationally gifted children are those who view to make a positive, meaningful, and enduring difference to the world. To reach their goal, they need competencies to deal with the complexities of the twenty-first century. This means: they must understand the features of complex problems to (...) develop solutions for them. What they need is a kind of critical thinking paired with systems competency, i.e., the ability to construct mental models of abstract systems, to form and test hypotheses about these systems, and to develop strategies for system identification and successful control of such systems. Also, a strong emphasis on values is needed. (shrink)

The discussion in Perspectives on Psychological Science about criteria for scholarly merit shows a potential bias of quantitative measurements compared with informed judgments of scholarly merits. This comment argues for a selection procedure that is open for qualitative arguments.

With the advent of computers in the experimental labs, dynamic systems have become a new tool for research on problem solving and decision making. A short review of this research is given and the main features of these systems (connectivity and dynamics) are illustrated. To allow systematic approaches to the influential variables in this area, two formal frameworks (linear structural equations and finite state automata) are presented. Besides the formal background, the article sets out how the task demands of system (...) identification and system control can be realised in these environments, and how psychometrically acceptable dependent variables can be derived. (shrink)

The assumption that positive affect leads to a better performance in simple cognitive tasks has become well established. We address the question whether positive and negative emotions differentially influence performance in complex problem-solving in the same way. Emotions were induced by positive or negative feedback in 74 participants who had to manage a computer-simulated complex problem-solving scenario. Results show that overall scenario performance is not affected, but positive and negative emotions elicit distinguishable problem-solving strategies: Participants with negative emotions are more (...) focused on the seeking and use of information. We discuss methodological requirements for investigating emotion influences in complex and dynamic cognitive tasks. (shrink)

How people understand the fundamental dynamics of stock and flow is an important basic theoretical question with many practical applications. In this paper, we present a universal frame for understanding stock-flow reasoning in terms of the theory of force dynamics. This deep-level analysis is then applied to two different presentation formats of SF tasks in the context of climate change. We can explain why in a coordinate-graphic presentation misunderstandings occur, whereas in a verbal presentation a better understanding is found. We (...) end up with recommendations for presentation formats that will help people to better understand SF dynamics. Better public SF understanding might in turn also enhance corresponding public action – such as enhancing pro-environmental actions in relation to climate change. (shrink)

In this paper, we bring together research on complex problem solving with that on motivational psychology about goal setting. Complex problems require motivational effort because of their inherent difficulties. Goal Setting Theory has shown with simple tasks that high, specific performance goals lead to better performance outcome than do-your-best goals. However, in complex tasks, learning goals have proven more effective than performance goals. Based on the Zurich Resource Model, so-called motto-goals should activate a person’s resources through positive affect. It was (...) found that motto-goals are effective with unpleasant duties. Therefore, we tested the hypothesis that motto-goals outperform learning and performance goals in the case of complex problems. A total of N = 123 subject participated in the experiment. In dependence of their goal condition, subjects developed a personal motto, learning, or performance goal. This goal was adapted for the computer-simulated complex scenario Tailorshop, where subjects worked as managers in a small fictional company. Other than expected, there was no main effect of goal condition for the management performance. An unexpected gender effect revealed better performance for men than women, pointing to a potential stereotype threat. As hypothesized, motto goals led to higher positive and lower negative affect than the other two goal types. Even though positive affect decreased and negative affect increased in all three groups during Tailorshop completion, participants with motto goals reported the lowest rates of negative affect. Exploratory analyses investigated the role of affect in complex problem solving via mediational analyses and the influence of goal type on perceived goal attainment. (shrink)

Not only the direct physical experiences of deployment can severely harm soldiers’ mental health. Witnessing violations of their moral principles by the enemy, or by their fellow soldiers and superiors, can also have a devastating impact. It can cause soldiers’ moral disorientation, increasing feelings of shame, guilt, or hate, and the need for general answers on questions of right and wrong. Various attempts have been made to keep soldiers mentally sane. One is to provide convincing causes for their deployment, which (...) risks an “end justifies the means” way of thinking. The good cause can provide a moral justification for horrible atrocities. Another method, introduced in the USA, Canada, and Australia, aims to strengthen military personnel’s resistance by promoting and maintaining a happy, optimistic state of mind through the use of positive psychology. Alongside making soldiers “morally fit” for all kinds of situations, the focus could also be on moral recovery and forgiveness. Such a care-based military ethics approach, aimed at mutual understanding and interdependence, could help soldiers handle the emotional impact of moral conflicts. This demands that military units reflect on their organizational culture and rethink oaths and codes of conduct that focus mainly on efficiency and readiness, as well as the soldierly self-image with its seemingly still deeply rooted warrior ethos. Today, resilience and positive psychology in the military is apparently mainly geared to assuring its soldiers’ readiness. An appropriate set of virtues and understanding of virtue ethics that are less centered on self-perfection and autonomy could point to a different form of character-building and lead to a better understanding of others. (shrink)

In this paper, we examine the use of the term ‘life’ in the debates within and about synthetic biology. We review different positions within these debates, focusing on the historical background, the constructive epistemology of laboratory research and the pros and cons of metaphorical speech. We argue that ‘life’ is used as buzzword, as folk concept, and as theoretical concept in inhomogeneous ways. Extending beyond the review of the significant literature, we also argue that ‘life’ can be understood as aBurstwordin (...) two concrete senses. Firstly, terms such as life easily turn into fuzzy, foggy and buzzy clouds of nonsense, if their use is not appropriately reflected. In these cases, the semantic orientation is detonated. This is theBurstword Icharacteristic of the concept of ‘life’ that we reveal for its unclear terminological use. Secondly, and in contrast toBurstword I, we show that the concept of ‘life’ can be used in a methodologically controlled way. We call this kind of useBurstword II. Here the concept of ‘life’ fulfils the function of expanding an inadequately narrow disciplinary or conceptual focus in different discursive contexts. In this second sense, ‘life’ receives an important operational function, for instance as a transdisciplinary research principle. It turns out that the innovative function and paradigm-changing power of metaphorical speech belong here as well. Finally, we illustrate three ethically relevant examples that show how ‘life’ can be applied asBurstword IIin the context of synthetic biology. (shrink)

We focus on the thesis that action understanding is a function of the mirror neuron system. According to our opinion, understanding is a process that runs through hermeneutic circles from the “Vorverständnis” (“previous understanding”) to steps of deeper understanding. Our critique relates to the narrow neuroscientific definition of action understanding as the capacity to recognize several movements as belonging to one action. After a reconstruction of the model's developments, we will challenge the claims of the model by Rizzolatti and Sinigaglia (...) (2010). By analyzing the relation between the experimental results and its interpretation, we will conclude that there is no proof that mirror neuron activity leads to action understanding. (shrink)

Die vorliegende Arbeit befasst sich mit Ernst Cassirers Werk "Die Wendung zum Symbolischen". Der Autor analysiert die Argumentation von Cassirer und untersucht, wie er die Beziehung zwischen Symbolen und menschlichem Denken versteht. Cassirer argumentiert, dass das menschliche Denken durch Symbole geprägt ist, die eine Art von Sprache darstellen. Symbole ermöglichen es uns, über komplexe Konzepte nachzudenken und uns über abstrakte Ideen zu verständigen. Cassirer vertritt die Ansicht, dass Sprache und Symbole eine zentrale Rolle beim Verständnis der Welt und der menschlichen (...) Erfahrung spielen. Funke diskutiert Cassirers Ideen im Kontext der zeitgenössischen Philosophie und weist darauf hin, dass seine Arbeit wichtige Implikationen für die heutige Forschung hat. Der Autor betont, dass die Untersuchung der Beziehung zwischen Sprache, Symbolen und menschlichem Denken wichtige Erkenntnisse über die Funktionsweise des menschlichen Geistes liefern kann. Zusammenfassend betrachtet bietet die Arbeit eine detaillierte Analyse von Cassirers Werk und betont die Bedeutung seiner Ideen für die moderne Philosophie. Die Untersuchung der Rolle von Sprache und Symbolen beim menschlichen Denken ist auch heute noch ein wichtiges Forschungsfeld, das unser Verständnis der menschlichen Kognition erweitert. (shrink)

Die vorliegende Arbeit untersucht Möglichkeiten und Grenzen der Verwendung von einfachen konnektionistischen Systemen als Modelle für den Erwerb und die Repräsentation von Wissen über zeitdiskrete lineare dynamische Systeme in der Kognitionspsychologie. Ein ausgewähltes dynamisches System namens SINUS wird in Form eines „pattern associators“ repräsentiert und dessen Lernverhalten untersucht. Es wird versucht, daraus Annahmen über den Wissenserwerb von Probanden im Umgang mit solchen dynamischen Systemen abzuleiten, um insbesondere Hinweise darauf zu erhalten, was „gute“ von „schlechten“ Probanden unterscheidet. Ein weiterer hier betrachteter (...) Aspekt ist die Steuerung eines dynamischen Systems in einen vorgegebenen Zielzustand, der unter Beibehaltung des konnektionistischen Modells durch einen variierten Lernalgorithmus modelliert wird. Die abschließende Diskussion geht auf die Bedeutung der Modellierung für die kognitionspsychologische Theorienbildung ein. (shrink)

In contrast to the successful previous year, 2020 turned out to be difficult, not only for the earth’s population due to COVID-19 but also for JDDM with an unusually small sixth volume. Looking back at these two very different years back-to-back led us to some reflection: As the COVID-19 pandemic forcefully illustrates, dynamic decision-making with all its complications and uncertainty is a topic of high relevance for modern societies.

You don't say much about who you are teaching, or what subject you teach, but you do seem to see a need to justify what you are doing. Perhaps you're teaching underprivileged children, opening their minds to possibilities that might otherwise never have occurred to them. Or maybe you're teaching the children of affluent families and opening their eyes to the big moral issues they will face in life — like global poverty, and climate change. If you're doing something like (...) this, then stick with it. Giving money isn't the only way to make a difference. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

In the mid-seventeenth century a movement of self-styled experimental philosophers emerged in Britain. Originating in the discipline of natural philosophy amongst Fellows of the fledgling Royal Society of London, it soon spread to medicine and by the eighteenth century had impacted moral and political philosophy and even aesthetics. Early modern experimental philosophers gave epistemic priority to observation and experiment over theorising and speculation. They decried the use of hypotheses and system-building without recourse to experiment and, in some quarters, developed a (...) philosophy of experiment. The movement spread to the Netherlands and France in the early eighteenth century and later impacted Germany. Its important role in early modern philosophy was subsequently eclipsed by the widespread adoption of the Kantian historiography of modern philosophy, which emphasised the distinction between rationalism and empiricism and had no place for the historical phenomenon of early modern experimental philosophy. The re-emergence of interest in early modern experimental philosophy roughly coincided with the development of contemporary x-phi and there are some important similarities between the two. (shrink)

Wie kann es gelingen, dem wissenschaftlichen Streben in der Psychologie eine Ordnung zu geben? In dem Buch werden zwei Perspektiven eingenommen: Zunächst blickt die Philosophie auf die Möglichkeit einer theoretischen Psychologie in Hinsicht auf anthropologische und wissenschaftstheoretische Voraussetzungen, dann die Experimentalpsychologie auf die Möglichkeit guter Theoriebildung. Der dritte Teil des Buches ist der Versuch einer Synthese, in dem der philosophisch-psychologische Perspektivenpluralismus als Programm vorgeschlagen wird, die Richtungen, in die der Fortschritt der Disziplin erfolgt, kritisch zu begleiten.

This paper argues that early modern experimental philosophy emerged as the dominant member of a pair of methods in natural philosophy, the speculative versus the experimental, and that this pairing derives from an overarching distinction between speculative and operative philosophy that can be ultimately traced back to Aristotle. The paper examines the traditional classification of natural philosophy as a speculative discipline from the Stagirite to the seventeenth century; medieval and early modern attempts to articulate a scientia experimentalis; and the tensions (...) in the classification of natural magic and mechanics that led to the introduction of an operative part of natural philosophy in the writings of Francis Bacon and John Johnston. The paper concludes with a summary of the salient discontinuities between the experimental/speculative distinction of the mid-seventeenth century and its predecessors and a statement of the developments that led to the ascendance of experimental philosophy from the 1660s. (shrink)

The difference principle, introduced by Rawls (1971, 1993), is generally interpreted as leximin, but this is not how he intended it. Rawls explicitly states that the difference principle requires that aggregate benefits (e.g., average or total) to those in the least advantaged group be given lexical priority over benefits to others, where the least advantaged group includes more than the strictly worst off individuals. We study the implications of adopting different approaches to the definition of the least advantaged group and (...) show that, if acyclicity is required, several seemingly plausible approaches lead to something close to leximin. We then show that significant aggregation is possible, if the least advantaged group is defined as those with those with less benefits than some strictly positive transform of the lowest level of benefits. Finally, we discuss the implications of requiring that, in comparing two alternatives, the cutoff for the least advantaged group of one alternative be the same as that for the other alternative. (shrink)

Jennifer Lackey ('Testimonial Knowledge and Transmission' The Philosophical Quarterly 1999) and Peter Graham ('Conveying Information, Synthese 2000, 'Transferring Knowledge' Nous 2000) offered counterexamples to show that a hearer can acquire knowledge that P from a speaker who asserts that P, but the speaker does not know that P. These examples suggest testimony can generate knowledge. The showpiece of Lackey's examples is the Schoolteacher case. This paper shows that Lackey's case does not undermine the orthodox view that testimony cannot generate (...) knowledge. This paper explains why Lackey's arguments to the contrary are ineffective for they misunderstand the intuitive rationale for the view that testimony cannot generate knowledge. This paper then elaborates on a version of the case from Graham's paper 'Conveying Information' (the Fossil case) that effectively shows that testimony can generate knowledge. This paper then provides a deeper informative explanation for how it is that testimony transfers knowledge, and why there should be cases where testimony generates knowledge. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...) express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

In the history of modern philosophy systematic connections were assumed to hold between the modal concepts of logical possibility and necessity and the concept of conceivability. However, in the eyes of many contemporary philosophers, insuperable objections face any attempt to analyze the modal concepts in terms of conceivability. It is important to keep in mind that a philosophical explanation of modality does not have to take the form of a reductive analysis. In this paper I attempt to provide a response-dependent (...) account of the modal concepts in terms of conceivability along the lines of a nonreductive model of explanation. (shrink)

The assumption that positive affect leads to a better performance in simple cognitive tasks has become well established. We address the question whether positive and negative emotions differentially influence performance in complex problem-solving in the same way. Emotions were induced by positive or negative feedback in 74 participants who had to manage a computer-simulated complex problem-solving scenario. Results show that overall scenario performance is not affected, but positive and negative emotions elicit distinguishable problem-solving strategies: Participants with negative emotions are more (...) focused on the seeking and use of information. We discuss methodological requirements for investigating emotion influences in complex and dynamic cognitive tasks. (shrink)

Abū Bakr al-Rāzī (d. 925), a doctor known not only for his medical expertise but also for his notorious philosophical ideas, has not yet been given due credit for his ideas on the ethical treatment of animals. This paper explores the philosophical and theological background of his remarks on animal welfare, arguing that al-Rāzī did not (as has been claimed) see animals as possessing rational, intellectual souls like those of humans. It is also argued that al-Rāzī probably did not, as (...) is usually believed, endorse human-animal transmigration. His ethical stance does not in any case depend on shared characteristics of humans and animals, but rather on the need to imitate God’s providence and mercy. (shrink)

If we take the indexical, “I”, to be epistemologically identical across different contexts, as in, for example, it is the same “I” that at one moment observes, “I see a puddle of water on the floor”, and then, subsequently, exclaims, “I detect a leaking tap”, and, furthermore, we attribute not only self reference but self awareness in the use of the indexical, “I”, then a question arises as to how the “I” finds itself to be in reference to the speaker (...) in one context and not another. We cannot look to the ingredients of the context that the “I” inhabits for the answer because, based upon the above assumptions, the identity, or character, of the “I” stands independently of the context of the speaker. The answer, I argue, requires both the admission of the unreality of space and time, as well as an explanation as to why we have a sense of the here and now despite space and time being unreal. To this end, I turn to the juxtaposition of Kant’s a priori forms of inner sense and outer sense to explain how the cognitive faculty arrives at a sense of time and place despite the declared unreality of time and space. To sustain this explanation in the face of the problem of localisation, I draw on the full implications of Kant’s transcendental idealism in which the properties of time and space are not only withdrawn from things as they exist externally to the mind but also from mental representations insofar as mental representations can be said to exist in themselves. (shrink)

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (shrink)

Similarly to other accounts of disease, Christopher Boorse’s Biostatistical Theory (BST) is generally presented and considered as conceptual analysis, that is, as making claims about the meaning of currently used concepts. But conceptual analysis has been convincingly critiqued as relying on problematic assumptions about the existence, meaning, and use of concepts. Because of these problems, accounts of disease and health should be evaluated not as claims about current meaning, I argue, but instead as proposals about how to define and use (...) these terms in the future, a methodology suggested by Quine and Carnap. I begin this article by describing problems with conceptual analysis and advantages of “philosophical explication,” my favored approach. I then describe two attacks on the BST that also question the entire project of defining “disease.” Finally, I defend the BST as a philosophical explication by showing how it could define useful terms for medical science and ethics. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

A novel argument is offered against the following popular condition on inferential knowledge: a person inferentially knows a conclusion only if they know each of the claims from which they essentially inferred that conclusion. The epistemology of conditional proof reveals that we sometimes come to know conditionals by inferring them from assumptions rather than beliefs. Since knowledge requires belief, cases of knowing via conditional proof refute the popular knowledge from knowledge condition. It also suggests more radical cases against the condition (...) and it brings to light the under-recognized category of inferential basic knowledge. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

For synergistic interactions between humans and artificial intelligence (AI) systems, AI outputs often need to be explainable to people. Explainable AI (XAI) systems are commonly tested in human user studies. However, whether XAI researchers consider potential cultural differences in human explanatory needs remains unexplored. We highlight psychological research that found significant differences in human explanations between many people from Western, commonly individualist countries and people from non-Western, often collectivist countries. We argue that XAI research currently overlooks these variations and that (...) many popular XAI designs implicitly and problematically assume that Western explanatory needs are shared cross-culturally. Additionally, we systematically reviewed over 200 XAI user studies and found that most studies did not consider relevant cultural variations, sampled only Western populations, but drew conclusions about human-XAI interactions more generally. We also analyzed over 30 literature reviews of XAI studies. Most reviews did not mention cultural differences in explanatory needs or flag overly broad cross-cultural extrapolations of XAI user study results. Combined, our analyses provide evidence of a cultural bias toward Western populations in XAI research, highlighting an important knowledge gap regarding how culturally diverse users may respond to widely used XAI systems that future work can and should address. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the (...) cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)